unramified extension

非分歧扩张